require_end_timestamp_reached

function require_end_timestamp_reached(proposal_index_timestamp: proposal_index_timestamp)